Probabilistic Algorithms and Ramsey-Type Principles in Reverse Mathematics Laurent Bienvenu Ludovic Patey

Source URL: ludovicpatey.com

• Mathematics
• Logic
• Proof theory
• Mathematical proofs
• Lemma
• Theorem
• Abstraction
• Reverse mathematics
• BPP

December 15, Fall 2008 Final Examination Introduction to Algorithms Massachusetts Institute of Technology

Source URL: courses.csail.mit.edu

• Graph theory
• Mathematics
• Computational complexity theory
• Network theory
• Spanning tree
• NP-complete problems
• Edsger W. Dijkstra
• Shortest path problem
• Longest path problem
• Minimum spanning tree
• Reverse-delete algorithm

Potential versus actual infinity: insights from reverse mathematics Stephen G. Simpson Department of Mathematics Pennsylvania State University http://www.math.psu.edu/simpson

Source URL: logic.uconn.edu

KataRpnCalculator About this Kata An RPN calculator program computes expressions written in RPN (Reverse Polish Notation). An RPN expression (or a postfix expression) is one of the following:

Source URL: milano-xpug.pbworks.com

• Mathematical notation
• Calculators
• Reverse Polish notation
• Abstract algebra
• Mathematics education
• Polish notation
• Expression
• Arithmetic
• HP 35s

389 Documenta Math. Who Invented the Reverse Mode of Differentiation?

Source URL: www.math.uiuc.edu

• Calculus
• Mathematical analysis
• Mathematics
• Multivariable calculus
• Differential calculus
• Mathematical optimization
• Automatic differentiation
• Computer algebra
• Differential equations
• Differential operator
• Partial differential equation
• Sheaf

Reverse inequalities for zonoids and their application Daniel Huga,1,∗, Rolf Schneiderb , a Department of Mathematics, Karlsruhe Institute of Technology, DKarlsruhe, Germany Institut, Albert-Ludwigs-Universit¨a

Source URL: home.mathematik.uni-freiburg.de

Non-principal ultrafilters, program extraction and higher order reverse mathematics Alexander P. Kreuzer ENS Lyon Chocola, November 2012

Source URL: www.math.nus.edu.sg

Filters and Reverse Mathematics (joint work with Y. Hirata) Takeshi Yamazaki Mathematical Institute, Tohoku University Sendai Logic Seminar 12 April, 2013

Source URL: dl.dropboxusercontent.com

Non-principal ultrafilters, program extraction and higher order reverse mathematics Alexander P. Kreuzer ENS Lyon Université Paris Diderot — Preuves, Programmes et Systèmes

Source URL: www.math.nus.edu.sg

A boundedness principle in constructie reverse mathematics Hajime Ishihara School of Information Science

Source URL: theoinf.math.uni-siegen.de